Buy Used and New Leslie Lamport Books

LaTeX: A Document Preparation System (Addison-Wesley Series on Tools and Techniques for Computer T)

by Leslie Lamport

ISBN 13: 9780201529838

Format: Illustrated (272 pages)
Publisher: Addison-Wesley
Published: 14 Jul 1994

Save for later

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

by Leslie Lamport

ISBN 13: 9780321143068

Format: Paperback (384 pages)
Publisher: Addison Wesley
Published: 19 Jul 2002

Save for later